Termination w.r.t. Q of the following Term Rewriting System could not be shown:
Q restricted rewrite system:
The TRS R consists of the following rules:
+(x, +(y, z)) → +(+(x, y), z)
*(x, +(y, z)) → +(*(x, y), *(x, z))
+(+(x, *(y, z)), *(y, u)) → +(x, *(y, +(z, u)))
Q is empty.
↳ QTRS
Q restricted rewrite system:
The TRS R consists of the following rules:
+(x, +(y, z)) → +(+(x, y), z)
*(x, +(y, z)) → +(*(x, y), *(x, z))
+(+(x, *(y, z)), *(y, u)) → +(x, *(y, +(z, u)))
Q is empty.